The Equipment Qualification Testing Framework: Model Driven Development for Design and Model-Based Testing for Verification
نویسندگان
چکیده
منابع مشابه
investigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools
The application of test automation tools in a safety-critical context requires so-called tool qualification according to the applicable standards. The objective of this qualification is to justify that verification steps automated by the tool will not lead to faulty systems under test to be accepted as fit for purpose. In this paper we review the tool qualification requirements of the standards...
متن کاملModel-Based Testing for Verification Back-Ends
Many verification tools used in practice rely on sophisticated SAT and SMT solvers. These reasoning engines are assumed and expected to be correct, but, in general, too complex to be fully verified. Therefore, effective testing techniques have to be employed. In this paper, we show how to employ model-based testing (MBT) to test sequences of application programming interface (API) calls and dif...
متن کاملA Symbolic Framework for Model-Based Testing
The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a f...
متن کاملRoughness Model for Adhesion Testing of Pharmaceutical Coating Materials
Objective Roughness is the main parameter in interlocking bonding mechanism. Yet there is no model designed to evaluate the effect of surface roughness on adhesion of coating materials in pharmaceutical sciences. Materials and Methods In this study polymethyl metacrylate spherical beads with different sizes were poured into 10 mm mold, then it was pressed by hand screw and finally heated to 141...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL
سال: 2020
ISSN: 1991-8763
DOI: 10.37394/23203.2020.15.64